Software language - PDFSEARCH.IO - Document Search Engine

Software language
Results: 21611

#	Item
101	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml
102	Gri A Program to Make Science Graphs VersionDan E. Kelley () Add to Reading List Source URL: gri.sourceforge.net Language: English - Date: 2008-09-10 07:43:00 Software Computing SM PostScript Gri graphical language
103	¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI Add to Reading List Source URL: www.ei.rub.de Language: English - Date: 2014-12-17 10:12:31 Computing Software engineering Computer architecture Method Data types X86 architecture Assembly languages Virtual method table Subroutines X86 assembly language Low-level programming language Dangling pointer
104	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-12 12:47:00 Software engineering Programming language theory Lambda calculus Computer programming Scheme Structure and Interpretation of Computer Programs Anonymous function Square root Nth root
105	Stephan Brumme Portfolio Rudolf-Breitscheid-StrPotsdam Add to Reading List Source URL: www.stephan-brumme.com Language: English - Date: 2013-02-26 12:23:27 Software Computing Cross-platform software Video game development OpenGL Application programming interfaces Graphics libraries OpenGL Shading Language Microsoft Visual Studio Microsoft Visual SourceSafe Doxygen PHP
106	Help Using Google Earth Files You must have Google Earth installed on your computer to display the kmz files. You can download Google Earth for free here: http://www.google.com/earth/download/ge/ Opening the .kmz File Op Add to Reading List Source URL: www.fnai.org Language: English - Date: 2011-03-17 15:04:42 Computing Software Application programming interfaces Virtual reality Virtual globes Graphics libraries DirectX Google Earth OpenGL Google Keyhole Markup Language Comparison of OpenGL and Direct3D
107	AAC, Mobile Devices and Apps: Growing Pains with Evidence Based Practice Add to Reading List Source URL: www.vantatenhove.com Language: English Software Digital audio Media technology Audio codecs Advanced Audio Coding MPEG Speech and language pathology ITunes Augmentative and alternative communication Janice Light
108	Tellus Border Data delivery programme: Delivering and managing Geophysical and Geochemical datasets Shane Carey, Geological Survey of Ireland GIS and Data Manager Add to Reading List Source URL: www.tellusborder.eu Language: English - Date: 2016-08-23 23:48:14 Computing Geographic data and information GIS software Geography Remote sensing Open Geospatial Consortium Cartography Geographic information systems Esri Keyhole Markup Language Google Earth Tellus
109	Mapping Madness Presented by Ron Arons www.ronarons.com 1. Historical Map Collections http://digitalgallery.nypl.org/nypldigital/index.cfm NY Public Library Digital Gallery Add to Reading List Source URL: www.ronarons.com Language: English - Date: 2014-12-05 23:13:26 Software Keyhole Markup Language Google Maps Maps Sanborn Maps Urban planning in the United States XMind Historypin Sanborn Ordnance Survey International Web mapping
110	Universidad Autónoma de Yucatán Facultad de Matemáticas Unidad Tizimín A Gravity Game with Speech Recognition for Children with Add to Reading List Source URL: www.clihc.org Language: English - Date: 2007-09-14 11:27:25 Speech and language pathology Computational linguistics Gravity Gravimetry Humancomputer interaction Economy of Japan Speech recognition Software Video game Nintendo Communication disorder